From indexed grammars to generating functions
نویسندگان
چکیده
منابع مشابه
From indexed grammars to generating functions
We extend the DSV method of computing the growth series of an unambiguous context-free language to the larger class of indexed languages. We illustrate the technique with numerous examples.
متن کاملSequentially Indexed Grammars
This paper defines the grammar class of sequentially indexed grammars. Sequentially indexed grammars are the result of a change in the index stack handling mechanism of indexed grammars [Aho68, Aho69]. Sequentially indexed grammars are different from linear indexed grammars [Gaz88]. Like indexed languages, sequentially indexed languages are a fully abstract language class. Unlike indexed langua...
متن کاملExtending Linear Indexed Grammars
This paper presents a possibility to extend the formalism of linear indexed grammars. The extension is based on the use of tuples of pushdowns instead of one pushdown to store indices during a derivation. If a restriction on the accessibility of the pushdowns is used, it can be shown that the resulting formalisms give rise to a hierarchy of languages that is equivalent with a hierarchy defined ...
متن کاملGenerating Indexed Formal Software Documents Generating Indexed Formal Software Documents
Precise software documentation can be written as a set of mathematical expressions, but in practice, people require a mixture of informal (English) material and formal mathematical expressions. Furthermore, most documents for real software comprise hundreds of tables. Appropriate indices are required to e ciently search for information. In this work we consider the problem of automatic preparat...
متن کاملIndexed Languages and Unification Grammars
T h e occu rren ce o f purely syn tactica l cross-serial depen den cies in S w iss-G erm an show s that con text-free gram m ars can n ot describe the string sets o f natu ral lan guage [Shi85]. T h e least class in the C h om sk y hierarchy th at can d escribe u n lim ited cross-serial depen dencies is in dexed g ram m ars [A h o 68]. G azd a r discuss in [G a z88] the ap p licab ility o f in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2013
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita/2013041